Problems and results for logics about imperatives
نویسندگان
چکیده
منابع مشابه
Problems and results for logics about imperatives
Deviating from standard possible-worlds semantics, authors belonging to what might be called the ‘imperative tradition’ of deontic logic have proposed a semantics that directly represents norms (or imperatives). The paper examines possible definitions of (monadic) deontic operators in such a semantics and some properties of the resulting logical systems. 1. Imperative Semantics and Basic Operat...
متن کاملSets, Sentences, and Some Logics about Imperatives
Though deontic logic is regarded as the logic of normative reasoning, norms – as entities lacking truth values – are usually represented neither in its language nor its semantics. Limiting ourselves to unconditional imperatives, we propose a concept for their semantic representation and show that existing systems of monadic and dyadic deontic logic can be reconstructed accordingly.
متن کاملglobal results on some nonlinear partial differential equations for direct and inverse problems
در این رساله به بررسی رفتار جواب های رده ای از معادلات دیفرانسیل با مشتقات جزیی در دامنه های کراندار می پردازیم . این معادلات به فرم نیم-خطی و غیر خطی برای مسایل مستقیم و معکوس مورد مطالعه قرار می گیرند . به ویژه، تاثیر شرایط مختلف فیزیکی را در مساله، نظیر وجود موانع و منابع، پراکندگی و چسبندگی در معادلات موج و گرما بررسی می کنیم و به دنبال شرایطی می گردیم که متضمن وجود سراسری یا عدم وجود سراسر...
Early Amniocentesis - Results, Dangers and Practical Problems
موضوع: هدف این گزارش ازریابی تجربیات آمنیوسنتز در هفته ۱۲ حاملگی و قبل از آن است. طرح مطالعه: گزارش پزشکی از ۹۳۶ بیمار در هفته ۱۲ / ۸ . حاملگی و قبل از آن که جهت بررسی ژنتیکی، آمنیوسنتز شدند از اول اکتبر ۱۹۸۶ تا ژوئن ۱۹۹۰ از لحاظ سن حاملگی - اندیکاسیون - تکرار آمنیوسنتز - مشکلات آمنیوسنتز و نتایج حاملگی ارزیابی گردیدند. نتایج: ۲ هفته بعد از آمنیوسنتز اسقط گزارش شد ( % ۰٫۷) ۲۱ سقط قبل از هفته ...
متن کاملSome existence results for generalized vector quasi-equilibrium problems
In this paper, we introduce and study a class of generalized vector quasi-equilibrium problem, which includes many vector equilibrium problems, equilibrium problems, vector variational inequalities and variational inequalities as special cases. Using one person game theorems, the concept of escaping sequences and without convexity assumptions, we prove some existence results for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2004
ISSN: 1570-8683
DOI: 10.1016/j.jal.2004.01.003